University of Texas at Austin.

University of Texas group working on spatial semantic hierarchies, vision recognition systems, manipulators, and mobile robots.

Research focus includes file systems, media transmission protocols, and operating system support for multimedia networking.

Department of Computer Sciences. Research areas: Formal Methods; AI and Robotics; Operating, Distributed, and Software Systems; Networking and Multimedia; Compilers, Architecture, and Technology; Theoretical Computer Science; Graphics and Visualizatio...

Simulates an RWI circular, sonar-guided robot in a flat 2D world. Includes a physical simulator, sonar, and laser rangefinder simulators. The simulated robot has internal odometry, one or two laser rangefinders, and 12 sonar sensors. You can design yo...

A downloadable manual for STL and pointers to a faq and source for an implementation of the STL.

User page: brief description and praise, software downloads, documentation. By Toren Kelley Smith.

Qualitative Reasoning Research at UTexas which has one of the premier QP research centers

PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.

The future of software development lies in automating rote tasks. We are exploring different ways in which software development can be automated, productivity increased, and software quality improved.